Issue1609d.agda:4,1-1
Issue1609d.agda:4,1: Illegal: with in type signature
<EOF><ERROR>
...
